home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: delta / whiteline CD Series - delta.iso / tex / style / misc / zmacros.tex / node1_mn.html < prev    next >
Text File  |  1995-11-25  |  1KB  |  35 lines
  1.  
  2. <H1><A ID="SECTION00010000000000000000">
  3. Introduction</A>
  4. </H1>
  5.  
  6. <P>
  7. This note describes a small package of L<SUP><SMALL>A</SMALL></SUP>T<SMALL>E</SMALL>X macros for printing
  8. Z specifications.
  9. I put these together specifically for printing my book on Z semantics,
  10. so the package only provides features I needed for that, and your
  11. favourite Z constructs may be missing.
  12. On the other hand, I've put quite a lot of work into getting
  13. the constructs which <#7#><EM>are</EM><#7#> there to look right, at
  14. least to my eyes. If the package doesn't do what you want,
  15. at least it gives you something to start from.
  16. The package does several related things for you:
  17.  
  18. <OL>
  19. <LI>It loads the two fonts of extra symbols from the American
  20.         Mathematical Society and defines mnemonics for the Z symbols
  21.         they contain.
  22. </LI>
  23. <LI>It defines macros to fudge some Z symbols (e.g. <tex2html_image_mark>#tex2html_wrap_inline210#⇧) which
  24.         don't appear in any of our fonts.
  25. </LI>
  26. <LI>It fixes the way T<SMALL>E</SMALL>X sets letters in mathematical formulas so
  27.         that multi-character identifiers look better.
  28. </LI>
  29. <LI>It provides ways to set the various brands of `boxed mathematics'
  30.         which appear in Z specifications.
  31. </LI>
  32. </OL>
  33.  
  34. <P>
  35.